$\forall$$r$:RngSig. IsField($r$) $\in$ $\mathbb{P}$